Auteurs Structures Domaines Revues Projets ANR Projets européens

Consultation des structures de recherche

Ce module vous permet de consulter la liste des structures.
 
ind name sigle typestruct adresse url debut fin ACTIONS
1066537 Formally Verified Programs, Certified Tools and Numerical Computations TOCCATA researchteam Université Paris-Saclay; Bâtiment 650 ; 91405 ORSAY CEDEX 2021-01-01
1050016 Formally Verified Programs, Certified Tools and Numerical Computations TOCCATA researchteam Université Paris-Saclay; Bâtiment 650 ; 91405 ORSAY CEDEX 2020-01-01 2020-12-31
212219 Formally Verified Programs, Certified Tools and Numerical Computations TOCCATA researchteam Université Paris-Sud ; Bâtiment 650 ; 91405 ORSAY CEDEX 2019-12-31